﻿@{

echo("Hello world");

}@